Guía para el uso de diacríticos

El usuario dispone de dos opciones para insertar tildes u otros signos diacríticos en las búsquedas, si no posee un teclado que le permita introducir los caracteres ortográficos del español: (1) utilizar ALT y el teclado numérico para introducir el código decimal del carácter correspondiente; o (2) utilizar el recuadro con las letras acentuadas que aparece en la página de búsqueda.

Para introducir el código decimal manualmente, presione la tecla ALT mientras introduce los siguientes números:
á = alt-160
à = alt-133
â = alt-131
ä = alt-132
ç = alt-135
é = alt-130
ê = alt-136
è = alt-138
í = alt-161
ñ = alt-164
ó = alt-162
ô = alt-147
ö = alt-148
ú = alt-163
ü = alt-129

Para introducir letras acentuadas utilizando el recuadro que las contiene, situado en la parte derecha de la página principal, junto a la zona de búsqueda, coloque el cursor en el recuadro de búsqueda de lugar, secuencia de caracteres, palabra o lema en el sitio donde deba ir la letra acentuada en la correspondiente búsqueda. Presione la letra acentuada en el recuadro que la contiene. La letra seleccionada aparecerá en la posición donde se encuentra el cursor en el recuadro de búsqueda. Coloque de nuevo el cursor en la posición adecuada y continúe tecleando la palabra que desee buscar o selecciónela en el menú desplegable. Repita la operación tantas veces como sea necesario para incluir más caracteres con tildes u otros diacríticos.